Reasoning in Context-Aware Systems with Modal Logics

Authors: Yensen Limón, Everardo Bárcenas, Edgard Benítez-Guerrero

Research in Computing Science, Vol. 133, pp. 51-61, 2017.

Keywords: Context-Aware Systems, Automated reasoning, Modal logics

PDF: Reasoning in Context-Aware Systems with Modal Logics
PDF: Reasoning in Context-Aware Systems with Modal Logics